" Raymond T. Boute" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

C. Neville Dean, Raymond T. Boute

Категория: Компьютеры

5.47 Mb

#2

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

3.60 Mb

#3

Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004

C. Neville Dean, Raymond T. Boute

Категория: Cs_Computer science, CsLn_Lecture notes

22.56 Mb